Dagger: Combining Benefits of Synchronous and Asynchronous Communication Styles

Communication using blocking receives is the commonly used mechanism in parallel programming today. Message driven execution is an alternate mechanism which does not use receive style statements at all. The message driven execution style promotes the overlap of computation and communication. Programs written in this style exhibit increased latency tolerance: their performance does not degrade signiicantly with laten-cy. It also induces compositionality: multiple independently developed modules can be combined correctly without loss of eeciency. However, as the ow of control is not explicit in such programs, they are often diicult to develop and debug. We present a coordination language called Dagger to alleviate this problem. The language has been implemented in the Charm parallel programming system, and runs programs portably on a variety of parallel machines.